REF, NoConds
RepeatFor $n (a)
== (if (((first_nat $n:n)) = 0) then (Repeat (a)) else (RepeatFor (first_nat $n:n) (a))) 

latex

Up	Tactics as terms
Definitions	RepeatFor $n (a)
FDL editor aliases	-rep